<script>
    document.location.href = 'doc/Vesta.html'
</script>
